Control of discrete-event systems with modular or distributed structure
نویسندگان
چکیده
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملControl of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis for the supremal controllable sublanguage, for t...
متن کاملModular Antipermissive Control of Discrete-event Systems
The paper concerns modular supervisory control of discrete-event systems (DES), where the overall system is composed of subsystems that are combined in a synchronous (parallel) product. Recently it has been shown that under very general conditions closed-loop languages under permissive control policy (introduced by coinduction as a new operation called supervised product) distribute with the sy...
متن کاملDiagnosability of Discrete Event Systems with Modular Structure
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diagnosing such systems. The notion of modular diagnosability is introduced and the corresponding necessary and sufficient conditions to ensure it are presented. The verification of modular diagnosability is performed by ...
متن کاملTowards Distributed Control of Discrete-Event Systems
To initiate a discussion on the modeling requirements for distributed control of discrete-event systems, a partially-automated regionbased methodology is presented. The methodology is illustrated via a well-known example from distributed computing: the dining philosophers. 1 Decentralized, Asynchronous, and Distributed DES Control In this section, we explain our understanding of the gradual evo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.07.049